dredger pump - German English Dictionary